Ivy Ledbetter Lee vs. Edward Bernays

Bernays and Set Theory

We discuss the work of Paul Bernays in set theory, mainly his axiomatization and his use of classes but also his higher-order reflection principles. Paul Isaak Bernays (1888–1977) is an important figure in the development of mathematical logic, being the main bridge between Hilbert and Gödel in the intermediate generation and making contributions in proof theory, set theory, and the philosophy ...

Lieber Herr Bernays ! , Lieber

1. Gödel, Bernays, and Hilbert. The correspondence between Paul Bernays and Kurt Gödel is one of the most extensive in the two volumes of Gödel’s collected works devoted to his letters of (primarily) scientific, philosophical and historical interest. It ranges from 1930 to 1975 and deals with a rich body of logical and philosophical issues, including the incompleteness theorems, finitism, const...

Book review of: "Clinical aspects of electroporation" by Stephen T Kee, Julie Gehl, Edward W Lee

Correspondence: [email protected] SAFU Department Regina Elena Cancer Institute, Via delle Messi d’ Oro 156, 0158 Rome, Italy Abstract This article is a review of the book: Clinical aspects of electroporation, by Stephen T. Kee, Julie Gehl, Edward W Lee, which is published by Springer Press. Basic information that should be helpful in deciding whether to read the book and whether to use i...

Edward.

System Description: IVY

IVY is a veriied theorem prover for rst-order logic with equality. It is coded in ACL2, and it makes calls to the theorem prover Otter to search for proofs and to the program MACE to search for coun-termodels. Veriications of Otter and MACE are not practical because they are coded in C. Instead, Otter and MACE give detailed proofs and models that are checked by veriied ACL2 programs. In additio...